REF, NoConds
HypSubst' $dir $a $b
== ((if (first_bool $dir:b) then HypSubst' else RevHypSubst') ( $a)( $b)) 

latex

Up	Tactics as terms
FDL editor aliases	-hsub